أبو علي سينا
القياس 340
الشفاء ( المنطق )
الثالث عشر « 1 » : بعض « 2 » ج ب ، وكلما « 3 » كان بعض ب آ ، فه ز . ينتج : وكلما كان ج آ ، فه ز لأنه إذا كان كل ج آ ، وحق أن بعض ج ب ، كان بعض ب « 4 » آ « 5 » . الرابع عشر « 6 » : بعض « 7 » ج ب ، وكلما كان لا كل ب آ ، فه ز . ينتج : كلما كان لا شئ من ج آ ، لأنه إذا كان ج ب ولا شئ من ج آ ، كان لا كل ب آ « 8 » . الخامس عشر « 9 » : بعض ج ب ، وليس البتة إذا كان بعض ب آ ، فه ز . ينتج : ليس البتة إذا كان كل ج آ ، فه ز ، والبرهان مثل ذلك . « 10 » السادس عشر : بعض ج ب ، وليس البتة إذا كان لا كل ب آ ، فه ز . ينتج : ليس البتة إذا كان لا شئ من ج آ ، فه ز . « 11 » التأليفات من هذا الباب على منهاج الشكل الثاني لا تنتج من مقدم موجب كلى « 12 » وتنتج من مقدم موجب جزئي . فإذا « 13 » كان المقدم جزئيا ؛ فيجب أن يكون الحملى موافقا له في الكيف ؛ وإن « 14 » كان كليا ، فيجب أن يخالفه في الكيف ، وأن
--> ( 1 ) الثالث عشر : 13 ه ( 2 ) بعض ( الأولى والثانية ) : كل د ، سا ، عا ، ن ( 3 ) وكلما ( الأولى ) فكلما ع . ( 4 ) وكلما كان بعض ب آ . . . . . . بعض ب : وليس البتة إذا كان لا كل ب آ فليس البتة لأن ج بعض ب د ، سا ، عا ، ن . ( 5 ) ب آ : آ ب ع ( 6 ) الرابع عشر : 14 ه ( 7 ) بعض : كل د ، س ، سا ، عا ، ن ، ه . ( 8 ) وكلما . . . . . ب آ : وليس البتة إذا كان لا كل ب آ ف ه ز فليس البتة لأن ج بعض ب د ، س ، سا ، عا ، ن ، ه . ( 9 ) الخامس عشر : الحادي عشر س ؛ 15 ه . ( 10 ) وليس . . . . ذلك : وكلما كان بعض ب آ ( ب ه سا ) ف ه ز ينتج كلما كان ( + كل س ) ج آ ف ه ز لأنه إذا كان كل ج آ وحق أن بعض ج آ ( ج ب س ، سا ) كان بعض ب ( ب آ س ، سا ، عا ) د ، س ، سا ، عا ، ن . ( 11 ) وليس . . . . . ف ه ز : وكلما كان لا كل ب آ ف ه ز ينتج كلما كان لا شئ من ج آ لأنه إذا كان ( + كل سا ، عا ) ج ب ولا شئ من ج آ كان لا كل ب آ السابع عشر بعض ج ب ( بعض ج ب : ساقطة من سا ) وليس البتة إذا كان بعض ب آ ف ه ز ينتج ليس البتة إذا كان كل ج آ ف ه ز والبرهان مثل ذلك الثامن عشر بعض ج ب وليس البتة إذا كان لا كل ب آ ف ه ز ينتج ليس البتة إذا كان لا شئ من ج آ ف ه ز د ، س ، سا ، عا ، ن . ( 12 ) كلى : + مع حملى موجب سا ( 13 ) فإذا : وإذا س ، سا ، عا . ( 14 ) وإن : فإن د .